Involution and symmetry reductions
نویسندگان
چکیده
منابع مشابه
Involution and Symmetry Reductions
After reviewing some notions of the formal theory of diierential equations we discuss the completion of a given system to an involutive one. As applications to symmetry theory we study the eeects of local solvability and of gauge symmetries, respectively. We consider non-classical symmetry reductions and more general reductions using diierential constraints.
متن کاملSymmetry Reductions inModel Checking
&bstract. The use of symmetry to alleviate state-explosion problems during model-checking has become a important research topic. This paper investigates several problems which are important to techniques exploiting symmetry. The most important of these problems is the orbit problem. We prove that the orbit problem is equivalent to an important problem in computational group theory which is at l...
متن کاملCombining Partial Order and Symmetry Reductions
D e f i n i t i o n 6. Let T = (S, R, L, Act, so) be an LTS. A function h : S -4 S is a selection function if and only if there exists a bisimulation relation B C S • S between T and T such that; For all s e S , 8 h(8) s B s' implies that h(s) = h(s') We say that h preserves the bisimulation relation B. Intuitively, the function h picks a representative from each equivalence class of S induced ...
متن کاملA Heuristic for Symmetry Reductions with Scalarsets
We present four versions of a new heuristic for coping with the problem of finding (canonical) representatives of symmetry equivalence classes (the so-called orbit problem), in symmetry techniques for model checking. The practical implementation of such techniques hinges on appropriate workarounds of this hard problem, which is equivalent to graph isomorphism. We implemented the four strategies...
متن کاملNonclassical Symmetry Reductions for Coupled KdV Equations
In this paper, by using the nonclassical method, several new symmetries and solutions are obtained, which are unobtainable by Lie classical symmetries.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical and Computer Modelling
سال: 1997
ISSN: 0895-7177
DOI: 10.1016/s0895-7177(97)00059-9